Martin Wirsing: որոնել Z-Library կայքում

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին

Գիտելիքների և մշակույթի ազատ հասանելիություն:

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024

Z-Library-ը աշխարհի ամենամեծ առցանց գրադարաններից մեկն է, որտեղ տեղակայված ենավելի քան 17,000,000 գրքեր և 84,837,000 հոդվածներ: Մենք ձգտում ենք գրականությունը մատչելի դարձնել բոլորի համար. Այսօր (Սեպտեմբերի 15 2024) մենք բացում ենք նվիրատվությունների լրացուցիչ հավաք՝ նախագիծը աջակցելու և զարգացնելու համար.

Նաև, ԱՆՍԱՀՄԱՆԱՓԱԿ ներբեռնումներ (նվիրատվության օրվանից 31 օր սկսած) հասանելի կլինեն բոլոր օգտվողներին, ովքեր նվիրատվություն են կատարում գումարների հավաքման ընթացքում՝ մինչևՀոկտեմբերի 1 2024.

Դրամահավաքի մասինՄանրամասն

Գրքեր (50)
Ամենահայտնի
Ցուցակ
- Ցուցակ
- Աղյուսակ

1

Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge: 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings

Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge: 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20–22, 2019, Proceedings

Springer International Publishing

Mauro Calise, Carlos Delgado Kloos, Justin Reich, Jose A. Ruiperez-Valiente, Martin Wirsing

Տարի:

2019

Լեզու:

english

Ֆայլ:

PDF, 12.51 MB

0 / 0

english, 2019

2

Adapting Proofs-as-Programs : The Curry-Howard Protocol

Adapting Proofs-as-Programs : The Curry-Howard Protocol

Iman Poernomo, John N. Crossley, Martin Wirsing

Տարի:

2005

Լեզու:

english

Ֆայլ:

PDF, 1.53 MB

0 / 0

english, 2005

3

Software Engineering for Collective Autonomic Systems: The ASCENS Approach

Software Engineering for Collective Autonomic Systems: The ASCENS Approach

Springer International Publishing

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (eds.)

Տարի:

2015

Լեզու:

english

Ֆայլ:

PDF, 23.55 MB

0 / 0

english, 2015

4

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Springer-Verlag Berlin Heidelberg

Matthias Hölzl, Axel Rauschmayer, Martin Wirsing (auth.), Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer (eds.)

Տարի:

2008

Լեզու:

english

Ֆայլ:

PDF, 3.54 MB

0 / 0

english, 2008

5

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 13.23 MB

0 / 0

english, 2011

6

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 9.09 MB

0 / 0

english, 2009

7

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Springer-Verlag

Martin Wirsing, Alexander Knapp, Simonetta Balsamo

Տարի:

2004

Լեզու:

english

Ֆայլ:

PDF, 3.50 MB

0 / 0

english, 2004

8

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Richard Krutisch, Philipp Meier, Martin Wirsing (auth.), Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory Tianfield (eds.)

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 8.68 MB

0 / 0

english, 2003

9

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.)

Տարի:

1992

Լեզու:

english

Ֆայլ:

DJVU, 4.27 MB

0 / 0

english, 1992

10

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

Martin Wirsing & Dirk Pattinson && Rolf Hennicker

Ֆայլ:

RTF , 31.96 MB

0 / 0

11

Adapting Proofs-as-Programs: The Curry Howard Protocol

Adapting Proofs-as-Programs: The Curry Howard Protocol

Springer Science & Business Media

Iman Poernomo, John N. Crossley, Martin Wirsing

Տարի:

2005

Լեզու:

english

Ֆայլ:

PDF, 4.59 MB

0 / 0

english, 2005

12

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Martin Wirsing, Martin Hofmann, Axel Rauschmayer

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 5.78 MB

0 / 0

english, 2010

13

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers

Springer-Verlag Berlin Heidelberg

Egidio Astesiano, Maura Cerioli (auth.), Martin Wirsing, Alexander Knapp, Simonetta Balsamo (eds.)

Տարի:

2004

Լեզու:

english

Ֆայլ:

PDF, 3.79 MB

0 / 0

english, 2004

14

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

Springer-Verlag Berlin Heidelberg

Matthias Hölzl, Axel Rauschmayer, Martin Wirsing (auth.), Martin Wirsing, Jean-Pierre Banâtre, Matthias Hölzl, Axel Rauschmayer (eds.)

Տարի:

2008

Լեզու:

english

Ֆայլ:

PDF, 9.22 MB

0 / 0

english, 2008

15

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 17.12 MB

0 / 0

english, 2011

16

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Multiagent System Technologies: First German Conference, MATES 2003 Erfurt, Germany, September 22-25, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Richard Krutisch, Philipp Meier, Martin Wirsing (auth.), Michael Schillo, Matthias Klusch, Jörg Müller, Huaglory Tianfield (eds.)

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 4.80 MB

0 / 0

english, 2003

17

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 5.23 MB

0 / 0

english, 2010

18

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

Martin Wirsing, Dirk Pattinson & Rolf Hennicker

Տարի:

2009

Լեզու:

spanish

Ֆայլ:

FB2 , 6.84 MB

0 / 0

spanish, 2009

19

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

Dirk Pattinson Martin Wirsing & Rolf Hennicker [Martin Wirsing, Dirk Pattinson]

Տարի:

2009

Լեզու:

spanish

Ֆայլ:

MOBI , 15.85 MB

0 / 0

spanish, 2009

20

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

Martin Wirsing, Dirk Pattinson & Rolf Hennicker [Martin Wirsing, Dirk Pattinson & Rolf Hennicker]

Տարի:

2009

Ֆայլ:

LIT , 4.32 MB

0 / 0

2009

21

Java kompakt: Eine Einfuhrung in die Software-Entwicklung mit Java

Java kompakt: Eine Einfuhrung in die Software-Entwicklung mit Java

Matthias Hölzl, Allaithy Raed, Martin Wirsing

Տարի:

2013

Լեզու:

german

Ֆայլ:

PDF, 4.84 MB

0 / 0

german, 2013

22

Java kompakt: Eine Einführung in die Software-Entwicklung mit Java

Java kompakt: Eine Einführung in die Software-Entwicklung mit Java

Springer-Verlag Berlin Heidelberg

Matthias Hölzl, Allaithy Raed, Martin Wirsing (auth.)

Տարի:

2013

Լեզու:

german

Ֆայլ:

PDF, 2.66 MB

0 / 0

german, 2013

23

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Lutz Heuser (auth.), Nora Koch, Piero Fraternali, Martin Wirsing (eds.)

Տարի:

2004

Լեզու:

english

Ֆայլ:

PDF, 11.77 MB

0 / 5.0

english, 2004

24

Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28–30, 2015, Proceedings

Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28–30, 2015, Proceedings

Springer International Publishing

Songmao Zhang, Martin Wirsing, Zili Zhang (eds.)

Տարի:

2015

Լեզու:

english

Ֆայլ:

PDF, 41.53 MB

0 / 0

english, 2015

25

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

STACS 88: 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

C. P. Schnorr (auth.), Robert Cori, Martin Wirsing (eds.)

Տարի:

1988

Լեզու:

english

Ֆայլ:

DJVU, 4.89 MB

0 / 0

english, 1988

26

Elementare Aussagenlogik

Elementare Aussagenlogik

Springer-Verlag Berlin Heidelberg

Friedrich L. Bauer, Martin Wirsing (auth.)

Տարի:

1991

Լեզու:

german

Ֆայլ:

PDF, 8.30 MB

0 / 0

german, 1991

27

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)

Տարի:

1983

Լեզու:

english

Ֆայլ:

PDF, 10.65 MB

0 / 0

english, 1983

28

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

Տարի:

2005

Լեզու:

english

Ֆայլ:

PDF, 5.67 MB

0 / 0

english, 2005

29

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)

Տարի:

1983

Լեզու:

english

Ֆայլ:

DJVU, 3.71 MB

0 / 0

english, 1983

30

Algebraic Methods: Theory, Tools and Applications

Algebraic Methods: Theory, Tools and Applications

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Jan A. Bergstra (auth.), Martin Wirsing, Jan A. Bergstra (eds.)

Տարի:

1989

Լեզու:

english

Ֆայլ:

DJVU, 5.38 MB

0 / 0

english, 1989

31

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew W. Appel, David B. MacQueen (auth.), Jan Maluszyński, Martin Wirsing (eds.)

Տարի:

1991

Լեզու:

english

Ֆայլ:

DJVU, 6.59 MB

0 / 0

english, 1991

32

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer (auth.), Martin Wirsing, Matthias Hölzl (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 13.54 MB

0 / 0

english, 2011

33

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.)

Տարի:

2012

Լեզու:

english

Ֆայլ:

PDF, 3.80 MB

0 / 0

english, 2012

34

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Manfred Broy, Stefan Jähnichen (eds.)

Տարի:

1995

Լեզու:

english

Ֆայլ:

DJVU, 3.92 MB

0 / 0

english, 1995

35

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Ronald V. Book (auth.), Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing (eds.)

Տարի:

1987

Լեզու:

english

Ֆայլ:

DJVU, 4.38 MB

0 / 0

english, 1987

36

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Jacek Leszczylowski, Martin Wirsing (auth.), Christian Choffrut, Matthias Jantzen (eds.)

Տարի:

1991

Լեզու:

english

Ֆայլ:

DJVU, 5.26 MB

0 / 0

english, 1991

37

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 14.97 MB

0 / 0

english, 2009

38

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 4.77 MB

0 / 0

english, 2003

39

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Andrew W. Appel, David B. MacQueen (auth.), Jan Maluszyński, Martin Wirsing (eds.)

Տարի:

1991

Լեզու:

english

Ֆայլ:

PDF, 11.97 MB

0 / 0

english, 1991

40

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Martin Wirsing, Matthias Hölzl, Mirco Tribastone, Franco Zambonelli (auth.), Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (eds.)

Տարի:

2013

Լեզու:

english

Ֆայլ:

PDF, 6.84 MB

0 / 0

english, 2013

41

Methods of Programming: Selected Papers on the CIP-Project

Methods of Programming: Selected Papers on the CIP-Project

Springer-Verlag Berlin Heidelberg

Wolfgang Hesse (auth.), Manfred Broy, Martin Wirsing (eds.)

Տարի:

1991

Լեզու:

english

Ֆայլ:

DJVU, 2.20 MB

0 / 0

english, 1991

42

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Ronald V. Book (auth.), Franz J. Brandenburg, Guy Vidal-Naquet, Martin Wirsing (eds.)

Տարի:

1987

Լեզու:

english

Ֆայլ:

PDF, 9.86 MB

0 / 0

english, 1987

43

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

J. S. Fitzgerald (auth.), Martin Wirsing, Maurice Nivat (eds.)

Տարի:

1996

Լեզու:

english

Ֆայլ:

DJVU, 6.79 MB

0 / 0

english, 1996

44

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

STACS 91: 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Jacek Leszczylowski, Martin Wirsing (auth.), Christian Choffrut, Matthias Jantzen (eds.)

Տարի:

1991

Լեզու:

english

Ֆայլ:

PDF, 11.76 MB

0 / 0

english, 1991

45

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing (auth.), Till Mossakowski, Hans-Jörg Kreowski (eds.)

Տարի:

2012

Լեզու:

english

Ֆայլ:

PDF, 3.89 MB

0 / 0

english, 2012

46

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Lutz Heuser (auth.), Nora Koch, Piero Fraternali, Martin Wirsing (eds.)

Տարի:

2004

Լեզու:

english

Ֆայլ:

PDF, 8.47 MB

0 / 0

english, 2004

47

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)

Տարի:

2005

Լեզու:

english

Ֆայլ:

PDF, 5.89 MB

0 / 0

english, 2005

48

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella (auth.), Martin Wirsing, Martin Hofmann, Axel Rauschmayer (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 5.18 MB

0 / 0

english, 2010

49

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)

Տարի:

2003

Լեզու:

english

Ֆայլ:

PDF, 6.52 MB

0 / 0

english, 2003

50

Elementare Aussagenlogik

Elementare Aussagenlogik

Springer Verlag

Wirsing, Martin, Bauer, Friedrich Ludwig

Տարի:

1991

Լեզու:

german

Ֆայլ:

DJVU, 2.34 MB

0 / 0

german, 1991